left\_child($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case($t$) Case $x$;$y$ =$>$ $x$ Default =$>$ $t$